Programming language implementation

Results: 1978



#Item
551Programming language implementation / Compiler construction / Procedural programming languages / Cross-platform software / Compiler / Library / INT / D / Subroutine / Computing / Software engineering / Computer programming

RM-HTARCLITE Reference Manual 750 Naples Street •

Add to Reading List

Source URL: www.pumpkininc.com

Language: English - Date: 2011-09-12 15:59:12
552Concurrency control / Parallel computing / Programming language implementation / Cross-platform software / Threads / Speculative multithreading / Multithreading / Speculative execution / Speculative / Computing / Computer architecture / Concurrent computing

McGill University School of Computer Science Sable Research Group Speculative Multithreading in a Java Virtual Machine Sable Technical Report No

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2005-05-30 18:46:05
553Microcontrollers / TI MSP430 / Compilers / GNU Compiler Collection / Central processing unit / Library / GNU Binutils / Instruction set / Software / Computing / Programming language implementation

Table of Contents .................................................................................................................................................................................. 1 Using C to program a

Add to Reading List

Source URL: www.csc.kth.se

Language: English - Date: 2004-11-02 03:53:35
554Lambda calculus / Programming language implementation / Digital signal processing / Functional languages / Computer performance / Monad / Fast Fourier transform / FFTW / Fixed-point combinator / Computing / Computer programming / Software engineering

A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2004-08-11 22:06:49
555Assembly languages / X86 assembly language / X86 / MOV / Control flow / Compiler optimization / CPUID / Computer architecture / Programming language implementation / X86 architecture

Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2013-08-14 01:47:23
556Compiler construction / Programming language implementation / Debugging / HTML / Validator / ALGOL 68 / Static single assignment form / Structure / Compiler / Software engineering / Computing / Computer programming

Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2009-03-11 04:28:36
557Cross-platform software / Source code / Notation / Programming language / Unix / Fourth-generation programming language / C / Virtual machine / Assembly language / Computing / Software / Programming language implementation

Programmation Systèmes Cours 1 — Introduction Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot - Paris 7

Add to Reading List

Source URL: upsilon.cc

Language: English - Date: 2015-01-01 06:25:24
558Compiler construction / Cross-platform software / Procedural programming languages / Programming language implementation / Subroutines / Compiler / C / Just-in-time compilation / Static single assignment form / Software engineering / Computing / Computer programming

Code Versioning and Extremely Lazy Compilation of Scheme Baptiste Saleil Marc Feeley Universit´e de Montr´eal

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2014-11-04 14:23:56
559Programming language implementation / Real-time computing / Worst-case execution time / GNU Compiler Collection / Programming tool / Toolchain / C / Software / Computing / Compilers

aiT for MPC755 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
560Compiling tools / Compiler construction / Parser generators / Parsing / Yacc / GNU bison / Compiler-compiler / Lex / Code generation / Software / Programming language implementation / Computing

Compiler Construction using Flex and Bison Anthony A. Aaby Walla Walla College cs.wwc.edu

Add to Reading List

Source URL: foja.dcs.fmph.uniba.sk

Language: English - Date: 2006-03-06 11:54:32
UPDATE